この証明があってるか証明するのに30年くらいかかるんやっけ?