Lagrangetheorem