可以理解方程在有理数意义下是线性无关的，但是是否可能出现若干个方程在模意义下恰好相关啊？