Added lemma proving intersection point lies in optimal curve.