Ideal is Subring

Theorem
Let $\left({R, +, \circ}\right)$ be a ring, and let $J$ be an ideal of $R$.

Then $\left({R, +, \circ}\right)$ is a subring of $R$.

Proof
This follows directly from the definition of a subring and Subring Test.