8.2.5 有限域