Theorem T000205

⇒