>>307
つまり結局計算では証明されてないって結論でよろしい?