On the chart at infinity, the curve `∑ cᵢ W^(d-i)` meets the boundary `W = 0` iff its constant coefficient `c_d` lies in the maximal ideal.

Initializing...

On the chart at infinity, the curve `∑ cᵢ W^(d-i)` meets the boundary `W = 0` iff its constant coefficient `c_d` lies in the maximal ideal. · Prove2Me