geometryTheorem
Prolog Source