Theorem T000319

∧ ¬ ∧ ⇒