Nearing completion of subsection about mod for polynomials