Theorem T000033