EDB — 1XN

[1XN]Prerequisites:[26H]↺↻,[1XC]↺↻.Difficulty:*.

Use the induction principle [1XC]↺↻ to demonstrate the strong induction principle [1XS]↺↻

Warning: use the properties in Hypothesis [26H]↺↻, but do not assume that \(≤\) is a total order: indeed this result is needed to prove it.