Theorem T000202