多変数多項式
P は次数 d の斉次多項式ならば d P = ∑ 1 ≤ i ≤ n X i ∂ P ∂ X i {\displaystyle dP=\sum _{1\leq i\leq n}X_{i}{\partial P \over \partial X_{i}}} が成り立つ。