To illustrate the theorem, she plotted the unit disk centered at the origin and shaded all points whose distance was less than or equal to one.

To cover the region efficiently, the algorithm selects overlapping unit disks centered on lattice points.