Claims

../

1979_09_01_juhasz: Every red-blue coloring of the plane with no two blue points at distance one contains a red congruent copy of every four-point set, so the complement of a set avoiding distance one contains the vertices of a unit square.

---