f : N -> N
f (-x) = x