これを証明するにはどうすれば良いのか?