Schwarz–Ahlfors–Pick theorem — theorem