Theorem T000752