JGEX was not able to generate the proof for Pappus theorem. [Pappus Theorem.gex.zip](https://github.com/kovzol/Java-Geometry-Expert/files/15485845/Pappus.Theorem.gex.zip) 
