Differentiable function/D in R/Continuity in point/Fact/Proof

Proof

This follows immediately from fact.