Theorem T000114

⇒