theorem Th14: :: SRINGS_5:17

RAT 0 = {0}