Schwarz–Pick theorem