p is prime if and only if (p) is nonzero prime ideal

p is prime ⟺(p) is a nonzero prime ideal