8.2.6 素数域