Theorem T000209