微分可能って仮定はどこからでたの?