Re:>185 加法の可逆法則(つまり零元の存在と負元の存在)、そして加法の交換法則結合法則から明らか。