 Finite projective plane

A finite projective plane of order $q$ has $q^2+q+1$ points and the same number of lines. Every line contains $q+1$ points, every point lies on $q+1$ lines, and every two points or two lines determine a unique line or intersection point respectively.