考慮陪集分解：,任意元素都可以表示成的乘積組合，干脆定義將指標(biāo)擴(kuò)展到個(gè)

定義一些中的元素去滿足等式

,

只需證明任何元素都可以表示為形如某個(gè),而的任何元素都是的乘積組合，

,只需證明,這是顯然的。