e0=1e_0=1e0=1 とし、eke_kek を相異なる kkk 変数の積の総和とする。各因子から 111 または xix_ixi を選べば、積は ∏(1+xi)=e0+e1+⋯+en\prod(1+x_i)=e_0+e_1+\cdots+e_n∏(1+xi)=e0+e1+⋯+en と展開される。