Item 2.

There must be a largest prime, call it \(p\text{.}\) [follows from line 1, by the definition of “finitely many.”]