>>871
それをいわれたら積の方は定義であるで終わりだ。

>>872
そういうことについては知らんな。