Tour:Lagrange's theorem