https://123dok.net/document/zx56jexd-smooth-hypersurface-dimension-defined-fieldfq-contains-defined-following.html