Now you are in the subtree of Математический анализ project. 

7.2. Следствия из теоремы Лагранжа