pre(0) = 0
su(pre(x)) = x
pre(su(x)) = x
