helphome pageduck scriptspecificationfirst proof page page 2 1 2 x

Implementing Stack with Pointer and Array
Final Remarks

This proof display demonstrates that a lemma is needed, and also illustrates the principle that something about the nature of the lemma needed can often be inferred from the way in which the proof fails without it.

       This page was generated by Kumo on Tue Feb 13 19:32:22 PST 2001.