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.