EDB — 277

Exercises

1. [277]Prerequisites:[276]↺↻,[26H]↺↻.Using the properties in [26H]↺↻ and assuming that \(≤\) is a total order relation (as will be proven), prove that

   \[ ∀ n,m∈ ℕ, (n{\lt} m ) ⇒ (Sn{\lt} Sm)\quad . \]
   Solution 1

   [278]↺↻