Hay conjuntos A y B tales que se puede descomponer cualquier $x \in \mathbb{R}$ $x = a+b$, $a \in A$ y $b \in B$, donde el Lebesgue medida de $A$ y $B$ es null.
Hay una indicación que esto debe seguir por el hecho de que $C_q = \{z \in[0,1]; z_i\in\{0,2,\cdots,q-1\}\}$ tiene medida nula para cada $q \in \mathbb{N}$, donde $z_i$ son los números en la extensión adic en q $z$, que es $$z=\sum_{i=1}^{\infty}\frac{z_i}{q^i}$ $