I have read in a book proof regarding the infinitude of primes of the form $4n+3$. The issue is there are missing steps (as per the understanding level of mine),
and want to get the 'filled missing steps' vetted (highlighted by $\color {blue}{\textrm{blue color}}$).
Will ask doubts, when am unable to understand text.
For comparison, an image of the book's proof is given.
It starts with the statement that:
Any odd prime is either of the form $4n+1$ or $4n+3$ for suitable $n \in \mathbb{
Z}$.
For later requirement, it is shown 'earlier' that product for two odd integers, of the form $4n+1$ is also of the same form, as repeated below:
> Let two primes be $4n_1+1, 4n_2+1$ with the product being : $(4n_1+1)(4n_2+1) = 4(4n_1n_2 + n_1+n_2) + 1$, i.e. of the same form.
Next, it shows infinitude of primes for the $4n+3$ form by contradiction approach, by assuming a finite number ($N$) of such primes $p_1,p_2, p_3, ..., p_N$ being of the form $4n+3$ in ascending order, with $p_1=3, p_2=7,$ $p_3=11, p_4=15$, etc.
Hence, the product of such primes (let, $M$) would also be of the same form. Let $$M = 4(p_2p_3...p_N)+3$$
Doubt 1: Why $p_1$ is removed just for the sake of it being divisible by $3$? Will it not affect the value of $M$?
Next, it states that by Theorem 9, $M$ is not divisible by any of $p_2, p_3, ..., p_N$.
Doubt 2: That proof considers all factors $p_1p_2p_3....p_N$ (i.e. not ignores $p_1$),
takes $M =p_1p_2p_3....p_N+1$, and relies on division of $M$ and $p_1p_2p_3...p_N$ by a (among the N possible) factor, let $p_1$. Then shows by contradiction that the left side ($\frac{M}{p_1} - p_2p_3...p_N$ is an integer, while the r.h.s. ($\frac{1}{p_1}$) is not an integer.
Further, $3\nmid M$, as $3\nmid 4$, $\color {blue}{\textrm{as in the equality $M - 4(p_2p_3...p_N) =3$, both terms on the l.h.s.}}$ $\color {blue}{\textrm{need be divisible by $3$.}}$
Hence, $M$ has the form $4n+3$, but no prime factor among $p_2, p_2, p_N$. The alternate form left for prime factors of $M$ is $4n+1$.
But, the product of such prime factors has already been shown to be of the form $4n+1$, rather than the form of $M$, i.e. $4n+3$.
Hence, by contradiction, there are an infinite number of primes of the form $4n+3$.
Doubt 3: Does the author take that all numbers of the form 4n+3 are odd primes? If so, then should have indicated that. Does he expect the reader to provide a proof of the same? I mean that for me saying that there are infinitely many primes of the form 4n+3, is different from saying that: 'all' numbers of the given form are prime. Also, what about the numbers of the form 4n+1. Are those also same for the primality criteria as 4n+3?
Have found very good links on MSE, here, here, here, here, & also here.