proof of optimality for algorithm 1. started completness proofs