Theorem T000226