theorem Th19: :: LIOUVIL2:18

for R being Ring holds R is Subring of R