P
Initializing...
The curve ideal `(f + π ∑ zᵢ bᵢ)` lies in the residue cell of `f`. · Prove2Me