Re: [math-fun] coloring unit-distance graph in the plane