Изменения

Если <tex>\mathbb{J}</tex> - идеал и не тривиальный, то <tex>deg\ \mathrm{p}_J > 0 </tex>., где <tex>\mathrm{p}_J</tex> - минимальный полином идеала <tex>\mathbb{J}</tex>