ここで何を証明できてもできなくてもあまり何も変わらないんじゃないですかね…