Theorem T000211