Este hecho se comprueba porque formula_24 en la cadena anterior, es el máximo común divisor de cualquier par de polinomios de la misma.