Now,let us consider the general case of non-negative edge costs on P˜.This case differs in that P˜ is sub-divided into the inclusion-maximal sub-paths containing zero cost edges only, connected by non-zero cost edges (henceforth in this proof, simply “sub-paths”). In particular, a sub-path may consist of a single vertex. Note that opt is a constant on each sub-path.