Given an identification `e` of the exceptional fibre of the chart with `(R/(t,x))[Z]`, a maximal ideal `P` containing `t` corresponds to a monic irreducible `φ`: `P` maps onto `(φ)`, contains the slop

Initializing...

Given an identification `e` of the exceptional fibre of the chart with `(R/(t,x))[Z]`, a maximal ideal `P` containing `t` corresponds to a monic irreducible `φ`: `P` maps onto `(φ)`, contains the slop · Prove2Me