対称式p(x_1,...,x_n)の変数の数nと、x_1の次数dに関する帰納法で示す。 n=1の時は基本対称式はs_1=x_1のみで明らかである。 d=0の時は対称性から全てのx_jの次数は0となるのでこれも明らかである。 次に,n=kの時主張は成り立つと仮定し、かつ、n=k+1かつd≦m…