Let ; let Show that if exists, then exist and equals

Some people in my class were trying to say that we know that by theorem

But I disagree since we don't know that Df(a) exist but I don't know how to prove this result. Any ideas would be helpful.