Theorem

  1. If and , then .
  2. .
  3. If , then .