We know that the cosets form a partition of (see the coset entry for proof of this.) Since is finite, we know it can be completely decomposed into a finite number of cosets. Call this number . We denote the th coset by and write as

since each coset has elements, we have

and so divides , which proves Lagrange's theorem.