theorem Th66: :: GROUP_6:66

for G, H being Group st G,H are_isomorphic holds
H,G are_isomorphic