>>641
n変数のd次同次多項式全体の集合Aと、n-1変数のd次多項式全体の集合Bは、
f: A→B 第n番目の変数に1を代入する
g: B→A 第n番目の変数を、どの項もちょうどn次になるように付け加える
という互いに逆写像なf, gによって一対一に対応する