theorem Th74: :: GROUP_6:74

for G, H being Group st G,H are_isomorphic & G is finite holds
H is finite