Theorem T000200

⇒