Этот вывод является неточным. Модуль числа -x-1 равен |-x-1|, что равно |-(x+1)| или |(x+1)|. Следовательно, модуль числа -x-1 равен |x+1|, а не 9.