ну а как это более на пальцах представить? мы ведь когда ищем область однолистности, мы берем

, говорим,что они не равны друг другу,потом подставляем в наши функции и приравниваем их,получаем условия. Отсюда и вытекает,что однолистная функция переводит взаимооднозначно
разные точки в разные.