Theorem T000214