for R being non degenerated preordered Ring
for P being Preordering of R holds
( 0. R < P, 1. R & - (1. R) < P, 0. R )