>>196
乗法に関する単位元が存在する。
加法と乗法の間に左分配法則が成り立つ。
加法は結合的である。
乗法は結合的である。