theorem :: REALALG1:20

for R being Ring
for S being Subring of R holds QS S c= QS R