Definition: The sum of any two proper submodules is still a proper submodule.
(No citations retrieved.)
(No metaproperty information retrieved.)