Theorem T000097