proof

hyperbolic geometry