Proof: First note that the hyperbolic metric is well defined: