Sea $B$ un subconjunto de $\mathbb{Z}_{3}^{n}$ con la propiedad de que para cada dos miembros distintos $(a_{1},\ldots,a_{n})$ y $(b_{1},\ldots,b_{n})$ de $B$ existe $1\leq i\leq n$ tal que $a_{i}\equiv{b_{i}+1}\pmod{3}$ . Pruebe que $|B| \leq 2^{n}$ .