Theorem T000210