MAYBE

Problem:
 app(app(F(),app(app(F(),f),x)),x) -> app(app(F(),app(G(),app(app(F(),f),x))),app(f,x))

Proof:
 Open