Theorem T000207