Theorem T000363

∧ ⇒