d(X^n,_gn(fn(X^n)))