Differentiability Lemma