Theorem T000052

∧ ⇒ ¬