for G being non empty addGroup-like addMagma
for H being Subgroup of G st G is finite holds
H is finite