for R being Ring holds R is Subring of R