Pappus's trisection method