theorem Th15: :: GROUP_3:15

for G being Group st G is finite holds
Subgroups G is finite