Theorem T000319

∧ ¬