https://9dok.org/document/q052jexv-proper-submodule-n-ofm-called-strongly-prime-resp.html