(geometry) A theorem stating that, given a finite number of points in the Euclidean plane, either all the points lie on a single line, or there is at least one line which contains exactly two of the points.