注目すべきは、Gの任意の元はHか1+Hのどちらか一方のみに属し、H∪(1+H)=Gが成立することである。
注意每个G中元素或者在H中，或者在1+H中，也即，H∪(1+H)=G，所以H在G中不同的陪集构成G的一个划分。