为什么模意义下（$\bmod 2^k$）的线性基在从小往大建就是正确的，这样的依据是什么？线性基的优先级到底是怎么样计算的。