■

証明は確認してもらった。証明の細かいところを書き直して記法を統一することになったのでそこを詰める。