We show that any factorization of any composite Fermat number $F_m={2^2}^m+1$ into two nontrivial factors can be expressed in the form $F_m=(k{2}^n+1)(\ell 2^n+1)$ for some odd $k$ and $\ell ,k\ge 3,\ell \ge 3$, and integer $n\ge m+2,3n<2^m$. We prove that the greatest common divisor of $k$ and $\ell$ is 1, $k+\ell \equiv 0mod{2}^n,max(k,\ell )\ge F_{m-2}$, and either $3|k$ or $3|\ell$, i.e., $3h{2}^{m+2}+1|F_m$ for an integer $h\ge 1$. Factorizations of $F_m$ into more than two factors are investigated as well. In particular, we prove that if $F_m={(k{2}^n+1)}^2(\ell 2^j+1)$ then $j=n+1,3|\ell$ and $5|\ell$.

In Computer Algebra, Subresultant Theory provides a powerful method to construct algorithms solving problems for polynomials in one variable in an optimal way. So, using this method we can compute the greatest common divisor of two polynomials in one variable with integer coefficients avoiding the exponential growth of the coefficients that will appear if we use the Euclidean Algorithm.In this note, generalizing a forgotten construction appearing in [Hab], we extend the Subresultant Theory to the...