On the smoothness of the value function along optimal trajectories.