for R1, R2 being strict Ring st R1 is Subring of R2 & R2 is Subring of R1 holds
R1 = R2