k=Q(θ), θ=O(k):kの整数環
fθ(X)∈Z[X]:θの最小多項式とし、O(k)=Z[θ]と仮定する。
рを素イデアルとし、素数pに対して
р|(p)k　とするとZ[θ]/рは有限体になることより
Z[θ]/р~=Fp[θ~](同型)となる。　θ~=θmodр

という証明なのですが、Z[θ]/рが有限体になるのは分かるのですが、
最後の同型になるところがわかりません。
どなたか教えてください。お願いします。