ああ、そうだね
まあある定理が証明できない、というのはかなり特殊な知識のあり方だけどね