@Álvaro:
Agreed that a proof of the coprimality of any pair of distinct Fermat numbers appears in the very first paragraph of the aforementioned missive from Goldbach to Euler. That is not under discussion here. Thing is that, as Professor Lemmermeyer noted above, Goldbach himself did not seem to notice that this result would (immediately) provide him with a proof of the infinitude of the primes. As I commented before, one of my initials beliefs on this matter was that the exclamation "at quantulum hoc est ad demonstrandum omnes illos numeros esse absolute primos?" in the July 20th letter was somehow implying that Golbach had actually found the connection between both facts. Yet, your knowledgeable comments have just made me changed change my mind on this wrong impression that I initially had.Finally, you
You are absolutely right when you express that the proof given by Hardy and Wright passes through the argument given by Goldbach in his letter to Euler. That's the reason that I said it is kind of weird to see H & W adscribing altogether the result to Pólya.

