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