theorem :: REALALG1:45

for R being non degenerated preordered Ring
for P being Preordering of R holds Positives(Poly) P <> LowPositives(Poly) P