Theorem T000199

⇒