結局証明できなかったんだっけ?