@wangdemao 感谢投稿，不予通过
@ijktmn 感谢投稿，不予通过
@happydef 感谢投稿，不予通过
@Jacky0705 感谢投稿，不予通过
后面有点乱，首先是对线性相关的定义挺奇怪的。虽然没什么大问题。然后就是用高斯消元来定义秩，这也挺奇怪的，因为秩和高斯消元没有啥关系。
异或空间的定义也挺奇怪的，为什么不是先检查是否符合线性空间定义，而是先定义集合呢。虽然也没有什么大问题。。
滥用大O符号和抽屉原理
线性基部分，要查询最大异或和，用第二个性质没法证明吧，要对线性基做处理才行
这篇文章好像是用高斯消元在理解全部啊。这不是好文明，有兴趣可以看一下859页的评注
