「置換*1を互換*2の積*3で表したとき、出てくる互換の個数を2で割ったあまりは一定である」という定理の証明に、差積という式が現れます。n変数多項式で、 Π(x_i-x_j) (1≦i＜j≦nの積) というやつです。これに互換をかますと±が反対になるので、互換の個数の…