Differentiate the function id on an element of vector

Question

I want to prove deriveA_id.

Lemma deriveA_id (n k:nat)(a b: t R (S n))(H:(k < S n)%nat):
(deriveA (fun p:t R 0 => id) Vnil a b k H) = Vnth