theorem Th75: :: GROUP_24:71

for n being non zero Nat holds the multF of (INT.Group n) = addint n