take I ; :: thesis: I -Ideal = I
thus I -Ideal = I by Th44; :: thesis: verum