Равенство |m| = m верно, когда m ≥ 0 (m — неотрицательное число).
Равенство |m| = -m верно, когда m ≤ 0 (m — неположительное число).
Равенство |-m| = |m| верно всегда, так как модуль от противоположных чисел равен.