>>303
それ知ってる。予想として提示されてから6年くらいして、やっと証明されたんじゃなかったかな。
証明そのものは結構簡単だけど、そのアイデアが凄かった。