証明できそうだ、という見通しが立っていた
ある種の命題が、実は証明できないことが分かった、というのはあるけどね