Предлагаю ферматистам переключится на гипотезу якобиана :)

[Leox]

Гарантирую что их труды будут читать намноооого внимательней и намногго больше народу. Формулирую нерешенную проблему специально для них попроще:

Пусть $f(x,y), g(x,y)$ два многочлена с комплексными(можно и рациональными) коефициентами такие, что выражение $f'(x,y)_x g'(x,y)_y-f'(x,y)_y g'(x,y)_x$ (здесь частные производные) равно $1.$ Доказать (или опровергнуть) что существуют многочлены $F, G$ от двух переменных, такие что $x=F(f(x,y),g(x,y)),$ и $y=G(f(x,y),g(x,y)).$