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