Theorem T000190