Ideal is Subring

Theorem
Let $\struct {R, +, \circ}$ 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.