Bizonyítsuk be, hogy egy $n\times m$-es tábla akkor és csak akkor fedhető le (egyrétűen) $k\times 1$-es dominókkal, ha a lefedés azonos állású dominókkal is elvégezhető (azaz ha $k\mid m$ vagy $k\mid n$).