Remark

The proofs of ths. 1 and 2 rely in an essential manner on the special topological properties of the field $\mathbf{R}$; one can give examples of valued fields K for which there are nonconstant linear maps of K to itself with zero derivative at every point (cf. I, p. 37, exerc. 2).