theorem tchar: :: REALALG1:28

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