Corollary

For a continuous vector function on an interval $I \subset \mathbf{R}$, with values in a normed space E over $\mathbf{R}$, to be constant on I it suffices that it have zero right derivative at all points of the complement (relative to I) of a countable subset of I.