theorem Th75: :: RING_3:76
Char INT.Ring = 0