数学の証明の公開するのに使っています。証明の続きが書けたらまたポストします。