Christodoulou, A.; Short, I. A Hyperbolic-Distance Inequality for Holomorphic Maps. Ann. Fenn. Math. 2019, 44 (1), 293–300. https://doi.org/10.5186/aasfm.2019.4425.