https://5dok.net/document/dy48wdvq-verified-factorization-algorithm-integer-polynomials-polynomial-complexity.html