Quotient_Ring_of_Ring_with_Unity_is_Ring_with_Unity

Let $\struct {R, +, \circ}$ be a ring with unity whose zero is $0_R$ and whose unity is $1_R$. Let $J$ be an ideal of $R$. Let $\struct {R / J, +, \circ}$ be the quotient ring defined by $J$. Then $\struct {R / J, +, \circ}$ is a ring with unity, and its unity is $1_R + J$.