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