theorem Th17: :: RINGCAT1:17

for UN being Universe holds Z_3 in RingObjects UN