The Yao Graph Y_6 is a Spanner

We prove that Y_6 is a spanner. Y_6 is the Yao graph on a set of planar points, which has an edge from each point x to a closest point y within each of the six angular cones of 60 deg surrounding x.