YES

Problem:
 g(0()) -> 0()
 g(s(x)) -> f(g(x))
 f(0()) -> 0()

Proof:
 Matrix Interpretation Processor: dim=1
  
  interpretation:
   [g](x0) = 4x0 + 2,
   
   [f](x0) = 5x0 + 6,
   
   [0] = 2,
   
   [s](x0) = 6x0 + 4
  orientation:
   g(0()) = 10 >= 2 = 0()
   
   g(s(x)) = 24x + 18 >= 20x + 16 = f(g(x))
   
   f(0()) = 16 >= 2 = 0()
  problem:
   
  Qed