Theorem T000836

∧ ⇒ ¬