ここまでjcと証明できるものなし