例
s_k を次数 k の基本対称多項式(>>66)とする。
このとき lead(s_k) = X_1...X_k