theorem :: REALALG1:18

for R being Ring holds SQ R c= QS R