YES
Time: 0.001037
TRS:
 {f X -> g()}
 DP:
  DP:
   {}
  TRS:
  {f X -> g()}
  Qed