https://123dok.org/document/q05p0k6x-sato-kashiwara-determinant-and-levi-conditions-for-systems.html