This is a Theorem that states:

  • If Then