Theorem T000042

⇒