Theorem T000227