It is shown that every injective
endomorphism of a scheme Y of finite type over a scheme X is surjective. The proof
is easily reduced to the case where X is field which in turn follows from the analogous
result for algebraic varieties. This result is proved using model theoretic
methods to transfer the corresponding and trivially true fact about finite
fields.