为什么 $2 \nmid \sum\limits_{i=1}^n\lfloor\frac{a_i}{2^t}\rfloor$ $2^t\le K$

等价于 $\oplus_{i=1}^n a_i \not\equiv 0 (mod \ 2^{\lfloor\log_{2}K\rfloor})$

其中 $K,n,a_i$ 给定，非负整数