Differentiable functions/Higher intersection with diagonal/Derivation/Exercise