Theorems in hyperbolic geometry