theorem Th39: :: GROUP_2:39

for G being non empty Group-like multMagma
for H being Subgroup of G st G is finite holds
H is finite