Theorem T000269

∧ ∧ ⇒