やっぱりそうじゃない証明なんて出来ないんだよなぁ