Theorem T000115

⇒