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