Ideal is Subring

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

Then $J$ is a subring of $R$.

Proof
This follows directly from the definition of an ideal and Subring Test.