
theorem c10:
for R being preordered Ring,
    P being Preordering of R,
    a,b being Element of R holds a <P, b iff (-b) <P, (-a)
by c10a,RLVECT_1:18;
