Разность модулей равна модулю разности