theorem :: REALALG2:84

for R being preordered Ring
for P being Preordering of R holds (- P) /\ (SQ R) = {(0. R)}