In this case, M is naturally isomorphic to the (external) direct sum of the Mi as defined above (Adamson 1972, pp. 61).
この場合、M は、上で定義された Mi たちの（外部）直和と自然同型である (Adamson 1972, pp. 61)。