Para cada entero $d \geq 1$ , sea $M_d$ el conjunto de todos los enteros positivos que no se pueden escribir como una suma de una progresión aritmética con diferencia $d$ , que tiene al menos dos términos y que consta de enteros positivos. Sea $A = M_1$ , $B = M_2 \setminus \{2 \}, C = M_3$ . Demuestra que cada $c \in C$ puede escribirse de forma única como $c = ab$ con $a \in A, b \in B.$