Problem:
 d(x,x) -> 0()
 f(x) -> d(x,f(x))
 c() -> f(c())

Proof:
 Open