バグの証明これでいい？