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