let be an irreducible factor of let and be the ideals of generated by and respectively. let and since both and are irreducible, and are field extensions of now, define the map by

for all the claim is that is well-defined. to see this, suppose that then for some and so because clearly is a ring homomorphism and, since is a field, is one-to-one. so we may assume that and thus