>>279
ただ、wikipedia情報だとコンピュータによる証明で、論理による証明ではないようですね。