[22H]Prerequisiti:[1Z0]↺↻,[1Z1]↺↻.Se \(x≤ y≤ S(x)\) allora \(y=x∨ y=S(x)\).
[22J]↺↻
(Il senso di questo risultato è che \(S(x)\) è l’immediato successore di \(x\), non ci sta niente in mezzo...).
