Theorem

  1. With as an Inner Product Space
  2. Let
  3. Then,