Theorem T000335

⇒