Podemos interpretar los miembros y factores de esta igualdad como polinomios en X con coeficientes en el anillo de las matrices cuadradas nxn con coeficientes en K y esa igualdad implica que formula_7 es "divisible por la izquierda por formula_8".