| | | Justification |
| 26 | 17-18 | Lemma 27 | 27 | 17–26 | Lemma 28 | 28, 29 | 17–21 | Lemma 14 with and | 30 | 17–21 | Lemma 12 with , , and | 31 | 17–21 | Lemma 30 | 32, 33 | 17–24 | Lemma 14 with , | 34 | 17–26 | Lemma 15 with , , and | 35, 36 | 17–28 | Lemma 16 with , | 37, 38 | 17–28 | Lemma 15 with , , and | 39–41 | 17–31 | Lemma 17 with , , and | 42, 44 | 17–32 | Lemma 15 with , , and | 43 | 17–31 | Lemma 15 with , , and |
|
|