Item 3.

Let \(N = p! + 1\text{.}\) [basically just notation, although this is the inspired part of the proof; looking at \(p! + 1\) is the key insight.]

in-context