> So what is the new fact?

For all arbitrarily sized (but finite) sets of not collinear points, there's always a line that passes through exactly two points in the set.