Decimos que un entero positivo es rojo si es de la forma $n^{2020}$ , donde $n$ es un entero positivo. Decimos que un entero positivo es azul si no es rojo y es de la forma $n^{2019}$ , donde $n$ es un entero positivo. ¿Verdadero o falso?: Entre cada dos enteros positivos rojos diferentes mayores que $10^{100{,}000{,}000}$ , hay al menos 2019 enteros positivos azules. Demuestra que tu respuesta es correcta.