λ(x : Natural) → Natural/build (Natural/fold x)