Intersection of a correspondence with a graph of Frobenius

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.