Theorem T000226

⇒