Mathematical Induction is used for direct proofs of many theorems; its logical equivalent, the Well-Ordering Property, replaced it to yield indirect proofs by contradiction. The author claims the later property is easier to comprehend and that it affords a non-geometrical example of proof by contradiction. (JP)