State and prove the Lagrangian sufficiency theorem for a general optimization problem with constraints.