MAYBE

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

Proof:
 Open