let R be non degenerated Ring; :: thesis: ( R is preordered implies not R is 2 -characteristic )
assume R is preordered ; :: thesis: not R is 2 -characteristic
then Char R = 0 by REALALG1:28;
hence not R is 2 -characteristic ; :: thesis: verum