> > いや、方程式がわからないとかいうだけで
> > 完全に解かれてる。
> それって完全じゃないんじゃ無いのかね？

理論的に考えられる全ﾊﾟﾀｰﾝにおいて計算してみたら
全ての場合において真だったとかいう証明だったはず
だから完全

参考：2003/06/14(土)00時11分12秒