Category:Finite Direct Product of Modules is Module