4 Decimos que los enteros positivos distintos $a_1,a_2,\ldots ,a_n $ son «buenos» si su suma es igual a la suma de todos los $\gcd $ por pares entre ellos. Demuestre que hay infinitos $n$ tales que existen $n$ números buenos. Propuesto por Morteza Saghafian