geometryTheorem

Prolog Source