theorem Th14: :: GR_CY_1:14

for n being non zero Nat holds 1_ (INT.Group n) = 0