[math-fun] Torus tiling problem