Lagranges theorem start