で， は と可換とする． とおくと， 証明 集合 の有限部分集合全体の集合を とし， とする． とおくと， を展開した各項（同類項はまとめない）は と自然に1対1に対応する． さらに， の各項は と自然に1対1に対応し， の各項は と自然に1対1に対応している…

ハセガワさん，クロキさんの講演．