Theorem T000199