This is false because is its own ideal and what we are saying is that we can find , ideal of , so that .

This forces . But that means then must be an ideal of . Not all subrings are ideals, like if are matrices over and are the invertible matrices. Then is a subring but not an ideal.

EDIT: This is wrong.

I love you too, .Love,