Правильный выбор. Равенство неверное, так как модуль вектора не может быт отрицательным числом, а может быть только положительным числом или нулём.

ПРОДОЛЖЕНИЕ