>>681 「証明されても、定理にはならないような予想」って、なんのこっちゃ…?