La unicidad está garantizada, pero es necesario que "K" sea un cuerpo para que la existencia lo sea también.