empirical approach to the Ancient Pappus Theorem

empirical approach to the Ancient Pappus Theorem