Update 7.1.2-村上.tex

更新しました．