Theorem T000206

⇒