何をどのように証明したのかがちょっと気になる。