Unique Decomposition Characterization of an Internal Direct Sum