Justified isomorphism of direct sum sheaves in Serre duality section