Separation of sets, Lagrange multipliers and totally regular extremum problems