Misalkan adalah suatu poligon konveks pada bidang. Titik-titik sudut mempunyai koordinat bilangan bulat dan terletak pada sebuah lingkaran. Misalkan adalah luas dari . Suatu bilangan asli ganjil diberikan sedemikian sehingga kuadrat setiap sisi dari adalah bilangan bulat yang habis dibagi . Buktikan bahwa addalah bilangan bulat yang habis dibagi .