Theorem

Proof

  1. Suppose can be written as a direct sum
  2. Then, such that is Invariant on
  3. let be a basis for and