Talk:Spectrum of Ring is Nonempty

This repeats the argument in Krull's Theorem; so a huge part of this can be removed (or merged to Krull's Theorem). The only additional argument is Maximal Ideal of Commutative and Unitary Ring is Prime Ideal. --barto (talk) 17:59, 14 July 2017 (EDT)

The bit of Krull's Theorem that repeats this can therefore invoke this as a proof. --prime mover (talk) 20:18, 14 July 2017 (EDT)