Доказательства производных элементарных функций: Теория и примеры