1 2
x
| 1 2
x
|
| 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. |