[math-fun] Torus tiling question