微分可能多様体でC^1級関数の代わりに微分可能関数を使うとどのへんで影響がでるでしょうか