Problem:
 F(x,x) -> A()
 G(x) -> F(x,G(x))
 C() -> G(C())

Proof:
 Open