"Differential algebraic elimination theorem" - читать интересную книгу автора (Rubel, Singer.)