M может быть как положительным, так и отрицательным. Если m≥0, то получаем равенство |-m|=m ⇒ m=m. Равенство верно. Если m<0, то получаем равенство |-(-m)|=-m ⇒ m = -m. Равенство не выполняется. Следовательно исходное выражение тождеством не является.
Если m≥0, то получаем равенство |-m|=m ⇒ m=m. Равенство верно.
Если m<0, то получаем равенство |-(-m)|=-m ⇒ m = -m. Равенство не выполняется.
Следовательно исходное выражение тождеством не является.