Prove optimality of work-conserving EDF schedules

We proved that the EDF transformation maintains work-conservation. Using this lemma, combined with the optimality proof of work-consering schedules, we prove that work-conserving EDF schedules are also optimal.