[26Y] Vi è una unica relazione d’ordine \(≤\) su \(ℕ\) tale che [(4.29)]↺↻,[(4.28)]↺↻ in [26H]↺↻ valgano, e questo è un buon ordinamento.
