[1XP]Prerequisites:[26H]↺↻,[1XS]↺↻.Difficulty:*.
Assume that a (partial) order \(≤\) associated to \(ℕ\) satisfies [26H]↺↻. Use the strong induction principle [1XS]↺↻ to show that every non-empty \(A⊆ ℕ\) contains a minimal element, i.e.
[1XZ]↺↻
