Property of Being an Ideal is not Transitive

Theorem
Let $$J_1$$ be an ideal of a ring $$R$$.

Let $$J_2$$ be an ideal of $$J_1$$.

Then $$J_2$$ need not necessarily be an ideal of $$R$$.

Proof
{{{User:Matt Westwood/In Progress}}