証明をみなおす。