La relación entre el orden de un grupo finito y el orden de sus elementos