Theorem T000336

⇒