Theorem T000279

∧ ⇒