MAYBE

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

Proof:
 Open