theorem Th7: :: GROUP_14:7

for G, H being AddGroup
for h being Homomorphism of G,H st h is bijective holds
h " is Homomorphism of H,G