Entonces el discriminante es el producto de "a", tomado en "K"/"K", y está bien definido.