Characteristic of Field is Zero or Prime

Theorem
Let $F$ be a field.

Then the characteristic of $F$ is either zero or a prime number.

Proof
From the definition, a field is a ring with no zero divisors.

So by Characteristic of Finite Ring with No Zero Divisors, if $\Char F \ne 0$ then it is prime.