При доказательстве теоремы 1 мне пришлось решать систему методом базисов Гребнера.
Эту работу нельзя считать сделанной полностью, так как остались не рассмотренными случаи обращения знаменателей в ноль.
Ваша задача - восполнить этот пробел. То есть рассмотреть отдельно каждый случай обращение в ноль знаменателя.