Theorem T000028