Li-Fan Chen says to YSITD
所以我們可以把線性代數的定理用在 GF(2) 上