証明できないことが証明されたんか?