La suma de dos números enteros positivos es igual a 12, uno de ellos es el doble del otro. ¿Cuáles son los números