Por otra parte, si llamamos formula_15, entonces todas las r filas de la forma normal de Hermite tendrán un término no nulo en ellas, por lo que se tendrá formula_16, concluyendo el resultado.