https://5dok.net/document/yev3e114-exact-model-matching-of-d-systems.html