Theorem T000662

∧ ⇒