Theorem T000270

⇒