Wojtek rysuje czworokąt $KLMN$. Na rysunku zaznaczył już dwa sąsiednie wierzchołki $K$ i $L$; oba te punkty są punktami kratowymi. Dwa pozostałe wierzchołki mają współrzędne $M=(6,y_M)$ oraz $N=(1,y_N)$, przy czym $y_M=y_N$ i jest to liczba całkowita dodatnia.