Theorem T000219