Theorem T000671

∧ ¬