Line segment is a Euclidean Ramsey set (source code)

= Line segment is a Euclidean Ramsey set

Every <line segment> is a <Euclidean Ramsey set>.