Непериодические замощения

Философский вопрос о соотношении глобальной структуры и локальных правил может быть уточнён таким образом. Пусть есть набор квадратных плиток с цветными сторонами. Мы хотим замостить плоскость сдвинутыми (без поворотов и переворотов) копиями этих плиток, при этом цвета плиток с двух сторон любой границы должны быть одинаковыми. Для некоторых наборов это невозможно, иногда есть периодические замощения (некоторый прямоугольник повторяется), но бывает и третий случай: замощения есть, а периодических нет.
Есть разные способы построить такой набор. Мы разберём один из них, видимо, самый технически простой: конструкцию Кари с умножением и делением.