
theorem
for R being Ring holds SQ R c= QS R
proof
let R be Ring;
let o be object;
  assume o in SQ R;
  then consider a being Element of R such that A: o = a & a is square;
  thus o in QS R by A;
end;
