Theorem T000601

⇒