Summary A proof is given that the F, G, H notation is adequate for expressing a vector function in a sphere in terms of spherical harmonics, subject to convergence conditions; that is, the terms are linearly independent (and can in fact be made orthogonal) and form a complete set such that no non-zero set of components expansible over spheres can be orthogonal to all of them.