今まで証明出来なかったのにどうやって正しいと証明するの?