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