Theorem T000606

∧ ⇒