Theorem T000213