https://123dok.net/document/z3d4dpl7-quasi-basic-submodules-over-valuation-domains.html