Li-Fan Chen says to YSITD
GF(2) 自己就有定義加法跟乘法了