Let . There are two cases: or . In the first case we get . Now if then and if then , therefore in the first case. Together and give us .

In the second case we get and to get it is necessary and sufficient to get . Now this happens when . We have and which is equivalent to and . Together this combines into .