Direct product of injective modules is injective: stucked in proof -  Mathematics Stack Exchange