Compiled example
----------------
![Example](hyperbolische-geometrie-axiom-1-2.png)