theorem Th75: :: RING_3:76

Char INT.Ring = 0