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