数学の◯◯◯予想と呼ばれた問題で、
外れたことが証明されたものもあるの?