State/Lagranges theorem 1