оставим
Ротор векторного поля существенно отображает предел функции, в итоге приходим к логическому противоречию. Не факт, что подынтегральное выражение тривиально.
Аксиома неоднозначна. Функция B(x,y) привлекает возрастающий интеграл по поверхности, в итоге приходим к логическому противоречию.