https://123dok.net/document/q054kvxy-explicit-degree-bounds-for-right-factors-of-linear-differential-operators.html