Udowadniamy, że wszystkie rozwiązania podanego równania należą do zbiory rozwiązań podanej nierówności.

Rozwiązujemy równanie.

Równanie określa wszystkie punkty, których odległość na osi