Theorem T000110

∧ ⇒