#calc/theorem AKA the continuity theorem? Not sure.
If f has a derivative at x=a, then f is continuous at x=a.