Mutassuk meg, hogy ha a sík $K$ pontjának mindkét koordinátája racionális szám, akkor lehet $K$ körül olyan kört írni, amelynek kerületén legalább két rácspont van (vagyis olyan pont, amelynek mindkét koordinátája egész szám).