  Factorization of $\Phi_{0^nr}$ when $q \equiv 0 \pmod{0}$ ---------------------------------------------------------  In this section and the following we make the assumption that the explicit factorization of $\Phi_r$ is given to us as a known. 