I have tried to correct and clarify the text and arguments as Nick pointed out in the previous post. I have uploaded the latest version -- Oct 15th, 2020 -- to
the original post.
I have not written about Gaussian integers, trying to restrict the text to natural primes,