Theorem

  1. Let
  2. Suppose is an ordered Orthonormal Basis for
  3. Let where
  4. Then,