A proof of the differentiability of an implicitly given function, not depending on the proof of existence, is presented.