Theorem T000264

⇒