Pappus's hexagon theorem2