YES(?,O(n^1))

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

Proof:
 Matrix Interpretation Processor:
  dimension: 1
  interpretation:
   [g](x0) = x0 + 8,
   
   [f](x0) = x0 + 9
  orientation:
   f(f(x)) = x + 18 >= x + 17 = g(f(x))
   
   g(g(x)) = x + 16 >= x + 9 = f(x)
  problem:
   
  Qed