Theorem T000113

⇒