49Section 2.7 proves existence of a continuously diļ¬erentiable consumption function, which implies the existence of a corresponding continuously diļ¬erentiable assets function.