theorem :: GROUP_2:148

for G being finite Group
for H being Subgroup of G holds card H divides card G