Proof Verification: Prove a nonzero, proper, prime ideal in a PID is maximal
In a principal ideal domain, prove that every non trivial prime ideal is a maximal ideal. What could be wrong in this approach?