理論上は、たった一人の訴訟であっても一つの法律を無効化できるってことだよな?