Maximal Ideal iff Quotient Ring is Field

Theorem
Let $\left({R, +, \circ}\right)$ be a commutative ring with unity whose zero is $0_R$ and whose unity is $1_R$.

Let $J$ be an ideal of $R$.

Then $J$ is a maximal ideal iff the quotient ring $R / J$ is a field.