任意のに対して、この-組に現れるの個数をとするとが成り立ち、対応する積はformula_8の形になる。