Legyenek ${\text{v}}_1\mathrm{,}{\text{v}}_2\mathrm{,}\text{...}\mathrm{,}{\text{v}}_n$ a térbeli derékszögű koordinátarendszer egész koordinátájú, páronként különböző, $p$ hosszúságú vektorai, ahol $p$ prímszám. Tegyük fel, hogy tetszőleges $1\le j<k\le n$ esetén van olyan $0<\ell <p$ egész szám, melyre a ${\text{v}}_j-\ell \cdot {\text{v}}_k$ vektor mindhárom koordinátája $p$-vel osztható. Igazoljuk, hogy $n\le 6$.