for R being Ring holds SQ R c= QS R