という写像を考えると、これは"m*"から"r"への加群準同型になるので、