Theorem T000196