>>384
その論法は「可除系であること」、「乗法が1を単位元とすること」、の２つの前提を使ってるけど、
分配法則を使わないところはいいね。