Theorem T000268

⇒