Legyen $P=A_1{A}_2\text{...}{A}_k$ egy konvex sokszög a síkon. Az $A_1\mathrm{,}{A}_2\mathrm{,}\text{...}\mathrm{,}{A}_k$ csúcsok koordinátái egész számok, és ezek a csúcsok egy körön fekszenek. Legyen $S$ a $P$ sokszög területe. Adott egy $n$ páratlan pozitív egész szám, amire teljesül az, hogy a $P$ sokszög minden oldalhosszának a négyzete egy $n$-nel osztható egész szám. Bizonyítsuk be, hogy $2S$ egy $n$-nel osztható egész szám.