Theorem T000297

⇒