Demostraremos este hecho por contradicción: Suponemos que existe un elemento de "K" cuya imagen al aplicarle "F" es "t".