Модуль отрицательного числа равен положительному числу