Teorema 6.2.2. Lagrange.

Misalkan \(G\) grup hingga dan \(H\) subgrup dari \(G\text{.}\) Maka \(|G|/|H| = [G : H]\) merupakan banyaknya koset kiri berbeda dari \(H\) dalam \(G\text{.}\) Secara khusus, banyaknya elemen dalam \(H\) harus membagi banyaknya elemen dalam \(G\text{.}\)

Bukti.
Grup \(G\) terpartisi menjadi \([G : H]\) koset kiri yang berbeda. Setiap koset kiri mempunyai \(|H|\) elemen; oleh karena itu, \(|G| = [G : H] |H|\text{.}\)
Dalam Konteks