Theorem T000065

∧ ⇒