为什么递归最底层的位置 $i$ 处理的是原位置的 $rev(i)$ ? $rev(i)$ 表示 $i$ 的二进制翻转。

不知道有没有稍微严谨一点的证明