YES

Problem:
 first(0(),X) -> nil()
 first(s(X),cons(Y)) -> cons(Y)
 from(X) -> cons(X)

Proof:
 DP Processor:
  DPs:
   
  TRS:
   first(0(),X) -> nil()
   first(s(X),cons(Y)) -> cons(Y)
   from(X) -> cons(X)
  Qed