I.P16 — Positive Core Closure

N+ = {n > 0} is closed under add, mul, exp; successor is always positive. Arithmetic never falls into zero unless it starts there.