(Caracterización del Orden por Divisibilidad) Sea G un grupo y g un elemento de G con orden finito d.