Intersection of Submodules is Submodule