Theorem T000194