A végtelen négyzetrácson dominókat helyeztünk el (akár végtelen sokat is) úgy, hogy mindegyikük két szomszédos négyzetet fed le, és a dominók nem érintkeznek még csúcsokban sem. Bizonyítsuk be, hogy ekkor a négyzetrács lefedetlen része hézagmentesen kitölthető $2\times 1$-es dominókkal.