> > もう解かれてる
> > まだなのはﾒｼﾞｬｰなところでは
> > ﾎﾟﾜﾝｶﾚ予想、ﾘｰﾏﾝ予想、ｹﾌﾟﾗｰ予想あたりか
> 四色問題ってｺﾝﾋﾟｭｰﾀｰの力技で強引に証明したのであって
> ほぼ完全ではあるが完全に解かれてはいないんじゃなかったか

力技で強引で美しくはないが
完全に証明されてはいる
より美しい証明が待たれてはいるだろうが

参考：2003/06/14(土)00時07分45秒