  The goal of this note is to give a short geometric proof of a theorem of
Hrushovski asserting that an intersection of a correspondence with a graph of a
sufficiently large power of Frobenius is non-empty.
