# Spectrum of Ring is Nonempty

Jump to navigation
Jump to search

## 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.

$\blacksquare$