theorem Th69: :: GROUP_6:69

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