Theorem T000105

∧ ⇒