Update 7.3.2-立石.tex（凍結ブランチ）