証明のしくみとその進め方（証明の図）