For the chart map `Λ` to the concrete surface over `O[θ] = O[X]/(Φ)` attached to a non-rational point, every element of the target is congruent modulo the parameter ideal to an element in the image of

Initializing...

For the chart map `Λ` to the concrete surface over `O[θ] = O[X]/(Φ)` attached to a non-rational point, every element of the target is congruent modulo the parameter ideal to an element in the image of · Prove2Me