Definition:Proper Submodule