Theorem T000737

∧ ¬