theorem Th69: :: GROUP_6:69

for G, H being strict Group st G is trivial & H is trivial holds
G,H are_isomorphic