Discard ground points lying in no set. For every point that lies in at least two members, form
Every pair of indices lies in exactly one , and no equals because the total intersection is empty. Thus the form a finite linear space on the indices. The number of its lines through index is at most , with equality unless contains private points.
The De Bruijn--Erdos pair-covering inequality says that if is the number of lines through point in a nontrivial finite linear space on points, then
Applying it here gives
Moreover, a pair of ground points can lie in at most one , since two different members meet in only one point. Hence
Combining the inequalities gives , and therefore .

Articles by others on the same topic (0)

There are currently no matching articles.