YES

Problem:
 f(X) -> g()

Proof:
 DP Processor:
  DPs:
   
  TRS:
   f(X) -> g()
  Qed