Theorem T000141

⇒