Bewijs stelling 1 pagina 1 Sectie 4.5 Bewijs

De restklassenring S = R[X]/(d) is een lichaam vanwege het corollarium op pagina 2 van sectie 4.5. Anderzijds is S een vectorruimte over Z/pZ van dimensie n (zie de stelling op pagina 4 van sectie 4.2) en heeft dus pn elementen.