Li-Fan Chen says to YSITD
GF是有限體