 In fact, since equation  (3)  holds for any \(f\), it also holds for its derivative \(f '\); it follows that functions in smooth infinitesimal analysis are differentiable arbitrarily many times, thereby justifying the use of the term “smooth”.