ГОСТ Р 34.10-2001: точка не может не существовать.

Точка не может не существовать, мы же выполняем операции в группе, другое дело, если мы получили нулевой x, по этому поводу в стандарте написано, что надо вернуться с выполнению предыдущего шага.