On peut utiliser comme opération de base le "successeur": $succ(x) := x + 1$

[[2020_cpp_1-2-1|Solution]]