>>329
>最初に二項演算「+」と「・(×)」は独立に定義され
分配法則を満たし、かつ、除法が逆元の「・(×)」と定義される以上「独立に定義される」「何の関連性もない」とは言えない。

ということでその説明は却下。