Theorem T000103

⇒