証明のしくみとその進め方(証明の図)
133ページ