これは結局なにを証明した形になるんだ?