lagrangetheoremx