Theorem T000748