Theorem T000736