Update 7.1.7-坂本.tex

指摘された部分の追加