Goal:
    A : Type  n : nat  l : list A  i : nat
  ============================
   (nth_error (skipn n l) i = nth_error l (n + i))


DEBUG:Going to execute:
induction l in n, i |- *; destruct n