Theorem T000733