Font (2 3)
-+
Letter spacing (4 5)
- +
Word spacing (6 7)
- +
Line spacing (8 9)
-+
1.20 Induction statements other than identities
In an induction proof, can be a statement other
than an equality, as the following example illustrates. Note the difference between
‘equals’ and ‘asserts that’ .