Since and , by definition of ideal. Similarly, means . Hence

It is not true in general that . If this were the case, taking and , we obtain so . This would mean that there are no non-trivial ideals.For to belong to I we need . Now it seems to me that if (right?) but how do we know that or be sure that ?