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