Update 7.3.2-立石.tex