>>493
その「乗法の意味」が累加だとはどこにも書いてないし、
常識的に考えれば「乗法の意味」とは、環の二項演算の一方で
所定の公理を満たすもの のこと。
乗法が累加を表示できることは、分配則の結果でしかない。