theorem Th76: :: GROUP_24:72

for n being non zero Nat holds the carrier of (INT.Group n) = Segm n