Theorem T000193