Без ограничения общности положим . Пусть , тогда и .
Пусть теперь . Тогда имеем . Если , то .
Пусть . Тогда если , то . Наконец, при : .
Без ограничения общности положим
. Пусть
, тогда
и
.
Пусть теперь
. Тогда имеем
. Если
, то
.
Пусть
. Тогда если
, то
. Наконец, при
:
.