Item 8.

This is a contradiction. [from line 2 and line 7: the largest prime is \(p\) and there is a prime larger than \(p\text{.}\)]

in-context