theorem Th68: :: GROUP_2:68

for G being Group holds (1). G is finite