[273]Prerequisiti:[271]↺↻,[1XP]↺↻,[0DQ]↺↻.Usate i prerequisiti per mostrare che (N,≤) è ben ordinato.