[math-fun] some tiling facts