Theorem T000445

∧ ¬