Theorem T000159

∧ ¬