>>113
問題を限定して単純問題なら完全証明できる。