またnの任意の正の約数dに対して、剰余群Z/nZは位数dの部分群をちょうど一つ持ち、それはn/dの属する剰余類によって生成される。
对每个n的正因数d，群Z/nZ恰好有一个d目的子群，它由n/d的剩余类所产生。