Todo grupo finito es finitamente generado, pues "G" = .