Infinitely number of primes in the form $4n+1$ proof
I saw this answer which says Suppose n>1 is an integer. We define N=(n!)^2+1. Suppose p is the smallest prime divisor of N. Since N is odd, p cannot be equal to 2. It is clear that p is bigger than n (otherwise p∣1). "If we show that p is of the form 4k+1 then we can repeat the procedure replacing n with p and we produce an infinite sequence of primes of the form 4k+1."
I dont get how that last sentence makes sense. if p replaces n, then N=(p!)^2+1, then we can always find another smallest prime p' of N such that p'=4t+1? (so I thought the author meant N would be prime, but I guess not)