Theorem T000341

⇒