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