Ël teorema ëd Lagrange a fortiss che si a l'é në strop finì ëd cardinalità , minca sot-ëstrop ëd a l'ha për cardinalità un divisor d'.

La dimostrassion

modìfica

La dimostrassion dël teorema ëd Lagrange a l'é un corolari dla proprietà sì da press.

Proprietà. Si G a l'é në strop finì, sò órdin a l'é l'órdin ëd qualsëssìa sò sot-ëstrop H multiplicà për l'ìndes d'H an G.
Dimostrassion. La partission ëd G ant ij lateraj (snistr o drit) d'H a l'ha, për definission, tanti element quant a l'é l'ìndes d'H an G. Dagià che tuti ij lateraj a l'han la midema cardinalità, a-i na ven l'afermassion.