Theorem T000179

∧ ∧ ⇒