Theorem T000338

⇒