[math-fun] About interleaving