In particular, continuous differentiability of f need not be assumed (Dieudonné 1969, §9.10, Ex.
特别是，f不需假定为连续可微（Dieudonné 1969，§9.10, Ex. 1）。