Производная косинуса - cos x - доказательство