>分配法則も確認してから使うものであり、
>定義と性質は別物

「まだ教えてないから使うな」という規制は、
既に学んでしまった生徒にとっては
そんなことを言う教師の存在と同様に、無意味だ。