Far as I can see, your argument is fine. There's just one remark about Goldbach's theorem. There's no such theorem. This is one of long standing unsolved problems in Math that any even number is the sum of two primes. It goes by the name of Goldbach's conjecture. The fact has been verified for millions of numbers and can be easily checked (on a computer) for the numbers involved in your argument.