For every partition of all the points on a line into two nonempty Sets such that no point of either lies between two points of the other, there is a point of one Set which lies between every other point of that Set and every point of the other Set.
