Spectrum of Ring is Nonempty

Theorem
Let $A$ be a non-trivial commutative ring with unity.

Then its prime spectrum is non-empty:
 * $\Spec A \ne \O$

Proof
This is a reformulation of Ring with Unity has Prime Ideal.

Also see

 * Maximal Spectrum of Ring is Nonempty