In Lee's 'Introduction to smooth manifolds' he states that given smooth manifolds $X,Y$ and a surjective submersion $f:X\to Y$, then $f$ is a smoothly final map, that is for any further smooth manifold $Z$, and any map $g:Y\to Z$, we have $g$ smooth iff $g\circ f$ is smooth.
He then says that problem 4.7 shows why this property is 'characteristic'. I can't see why the reverse implication should hold.
Unfortunately, google-books doesn't show that page, can some-one enlighten me as to what he means?
