Theorem T000741