theorem Th65: :: GROUP_6:65

for G being Group holds nat_hom ((1). G) is bijective