Theorem T000819

∧ ¬ ∧ ¬