Theorem T000198