[273]Prerequisites:[271]↺↻,[1XP]↺↻,[0DQ]↺↻.Use the prerequisites to prove that \(({\mathbb {N}},\le )\) is well ordered.
