Let S be aany nontrivial blocking set in a projective plane of order q (i.e:, such that S doesn't contain anot containing any line).
Let Let A be a set of points in the same projective plane of order q, raging over all these S.
Is it true that if A$\cap$S != $\phi$ then |A| >= q+1 and equality exists only if A is a line?