Problem:
 f(g(x),g(g(x))) -> h(g(x),g(c()))
 c() -> g(c())

Proof:
 Open