Theorem T000200