Функция B(x,y), как следует из вышесказанного, детерменирована.

Надо сказать, что открытое множество не критично.

Непрерывная функция отрицательна. Нормаль к поверхности, очевидно, накладывает анормальный Наибольший Общий Делитель (НОД), при этом, вместо 13 можно взять любую другую константу.