for R being non degenerated preordered Ring
for P being Preordering of R holds not - (1. R) in P