Some of his early work on the theory of equations later led Galois to his theory of groups. In fact, the important theorem of group theory that states that the order of a subgroup of a group G is a factor of the order of G, is called Lagrange’s theorem. Lagrange has been mentioned a number of times in earlier parts of our book.