A konvex $PQRS$ négyszög minden csúcsának mindkét koordinátája egész szám. A négyszög átlóinak metszéspontja legyen $E$. Bizonyítsuk be, hogy ha a négyszög $P$ és $Q$ csúcsánál lévő szögek összege ${180}^{\circ }$-nál kisebb, akkor a $PQE$ háromszög tartalmaz a belsejében vagy a határán olyan $P$-től és $Q$-tól különböző pontot, amelynek szintén egészek a koordinátái.