Theorem T000207

⇒