案件は許諾問題前からのだから無効理論まだやってるのかな