Remark

Tag 06FL, permanent. Cite it as [Bourbaki, Tag 06FL].

Adouble application of Cor. 2 above shows that we have $\mathrm{dis}_m(f) = 0$ for every polynomial $f$ of degree $\leq m - 2$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.