Bewijs dat er een permutatie $(a_1,a_2,\ldots,a_n)$ bestaat van de elementen $\{1,...,n\}$ met $n$ een natuurlijke macht van 2, zodat voor alle $1\leq i