ODEの解の初期値などに対する滑らかな依存とか、解の生存時刻の下半連続性系の証明