theorem SQsub: :: REALALG1:19

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