>>281
>f∈F_p(X)
がどこに書いてるのか教えて下さい