The residue class ring S = Z/pZ[X]/(d) is a field because of the corollary on page 2 of Section 4.5. On the other hand, S is a vector space over Z/pZ of dimension n (see the theorem on page 4 of Section 4.2). There are exactly p possible coefficients in front of every basis vector, so this leads to pn elements.