An Explicit Incidence Theorem In 𝔽p

Let P=A×A⊂𝔽p×𝔽p, p a prime. Assume that P=A×A has n elements, n<p. See P as a set of points in the plane over 𝔽p. We show that the pairs of points in P determine lines, where c is an absolute constant. We derive from this an incidence theorem: the number of incidences between a set of n points and a set of n lines in the projective plane over 𝔽p (n<p) is bounded by , where C is an absolute constant.