How can I show that infinite intersection of submodules is a submodule.
How can I show that infinite sum of submodules is a submodule.