Suppose there exists a finite projective geometry satisfying axioms A1-A6 and contains k points as total. Let L be a given line in this geometry. Prove that the number of points not lying on L is a perfect square and greater than or equal to 4.