The result is also used to prove the exactness property of completion (Atiyah & MacDonald 1969, pp. 107–109).
また、完備化の完全性を証明するためにも使われる(Atiyah & MacDonald 1969, pp. 107–109)。