Description: Projection Theorem: Any Hilbert space vector A can be decomposed
into a member x of a closed subspace H and a member y of the
complement of the subspace. Theorem 3.7(i) of Beran p. 102 (existence
part). (Contributed by NM, 6-Nov-1999)(New usage is discouraged.)