Theorem T000058

⇒