Koebe distortion theorem