Theorem T000794