Theorem T000104

⇒