A finite linear
space consists of finitely many points and proper
subsets called lines such that every two points lie on exactly one line. The
sets of family indices containing each ground point turn
a nontrivial exactly one-
intersecting family into
a finite linear
space.
