https://123dok.net/document/yevnv044-finding-first-integrals-normal-modulo-differential-regular-chains.html