Pappus's hexagon theorem