Theorem T000745