Bizonyítsuk be, hogy a 0, 1, 2, $\text{...}$, $3^k-1$ számok közül megadható $2^k$ db (különböző) szám úgy, hogy közülük semelyik ne legyen valamely másik kettőnek a számtani közepe.