Theorem T000332

⇒