Pappus's theorem checked by the Relation Tool
Pappus's hexagon theorem (attributed to Pappus of Alexandria) states that given one set of collinear points , , , and another set of collinear points , , then the intersection points , , of line pairs and , and , and are collinear.