“…Proof Assuming the constraint conditions (for the existence of multipliers) hold, and in accordance to Treanţă 13 (Theorem 6.1), if is an optimal solution in ( OCP ), then there exist a scalar and the piecewise smooth functions satisfying the following conditions …”