table
f(0) = 1.
f(N) = N - m(f(N-1)), N > 0 => true.

table
m(0) = 0.
m(N) = N - f(m(N-1)), N > 0 => true.