Theorem T000106

∧ ⇒