Theorem

Proof

  1. With
  2. With
  3. The function where
  4. Then,