Algebraicamente, una descomposición de "G" con grupos-arista triviales corresponderá a la descomposición por producto libre