Az $a_1$, $\text{...}$, $a_n$ síkvektorok abszolút értéke legfeljebb $1$. Mutassuk meg, hogy az $a_1+a_2+\text{...}+a_n$ összegben meg lehet választani az előjeleket úgy, hogy az összegvektor hossza legfeljebb $\sqrt[]{2}$ legyen.