Theorem T000192