for R being non degenerated preordered Ring holds Char R = 0