Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: Notesfiles $Revision: 1.6.2.17 $; site uiucdcs.UUCP
Path: utzoo!watmath!clyde!burl!ulysses!mhuxj!ihnp4!inuxc!pur-ee!uiucdcs!west
From: west@uiucdcs.UUCP
Newsgroups: net.math
Subject: Re: Induction help, please?
Message-ID: <28200045@uiucdcs.UUCP>
Date: Sun, 7-Oct-84 19:35:00 EDT
Article-I.D.: uiucdcs.28200045
Posted: Sun Oct  7 19:35:00 1984
Date-Received: Tue, 9-Oct-84 03:37:33 EDT
References: <5264@yale.UUCP>
Lines: 6
Nf-ID: #R:yale:-526400:uiucdcs:28200045:000:280
Nf-From: uiucdcs!west    Oct  7 18:35:00 1984

Step 2 mentioned in the previous response is poorly expressed.
The induction step of an induction proof proves that the hypothesis
holds at a given value under the assumption that it holds for all
values of the parameter between there and the values considered in the
basis step.