Christodoulou, A.; Short, I. A Hyperbolic-Distance Inequality for Holomorphic Maps. Ann. Fenn. Math. 2019, 44, 293–300.