Theorem that every finite set of points in the plane, not all collinear, has a line through exactly two points