Theorem T000204

⇒