Theorem. shr-inc-dec [thm3][edit]

对于所有为奇数（即以 I 结尾）的 $bs : \text{Bits}$，

• $\text{shr}(\text{dec}(bs)) = \text{shr}(bs)$
• $\text{shr}(\text{inc}(bs)) = \text{inc}(\text{shr}(bs))$

证明 两者均由定义直接可得。