早就知道奇数填充的方法，但一直没看到证明