YES

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

Proof:
 Arctic Interpretation Processor:
  dimension: 3
  interpretation:
             [0  -& -&]  
   [f](x0) = [-& -& 0 ]x0
             [-& -& 0 ]  ,
   
             [3 0 0]  
   [g](x0) = [0 2 2]x0
             [0 0 3]  
  orientation:
             [3 0 0]     [0  -& -&]        
   f(g(X)) = [0 0 3]X >= [-& -& 0 ]X = f(X)
             [0 0 3]     [-& -& 0 ]        
  problem:
   
  Qed