Theorem T000203