Show that the IVP T' = -k(T - T_a) , T(0) = T_0 has a unique solution for all