Физика как источник теорем дифференциального исчисления