Before revision:  Finally, we prove that the optimal value function of (P1) is obtained as the point-wise infimum over \Lambda of all value functions of problems (P2) .
After revision:  Finally, we prove that the optimal value function can be obtained as the point-wise infimum over \Lambda of all value functions of problems (P2) .