https://9dok.net/document/yng06r1p-membership-problem-quadratic-modules-focus-dimensional-case.html