どちらの定義も同値
ヒント:empty product(=1)