Category:Finite Direct Product of Unitary Modules is Unitary Module