RE: Coloring points in the plane---a simpler proof