Let k be an algebraically closed field and let tr.deg( K/k) is finite.
If f:K\to K is an embedding over k then f is an isomorphism.