Лагранжийн теорем (бүлгийн онол) — Википедиа …
Баталгаа. G-ийн дэд хэсгийг H-ээс, мөн g ∈ G, H-ийн зүүн coset-ийг g-ээр эсвэл Н-ийн зүүн хөрвүүлэгчийг g-ээр тэмдэглэвэл: . gH = {gH: h ∈ H} болно. gH гэсэн тэмдэглэгээ нь зөв талаасаа энгийн товч бичлэг. Мөн түүнчлэн H-ийн баруун coset-ийг