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