Li-Fan Chen
says to
YSITD
然後 GF(2) 符合向量空間的公理