Luego, x-y está en K, lo que implica que [x]=[y].