「p進体」って「標数pの体」に入るんじゃないの?