Многомерные дискриминанты

[green_years]

Подскажите, где доказывается, что дискриминант многочлена f от n переменных (то есть результант  его частных производных) неприводим как многочлен от коэффициентов f?