けんき says to YSITD
p(X)是一個Field->M_n的函數吧