Theorem T000209

∧ ⇒