どのように証明すればよいのかな?
(証明の図)
134ページ