単位元の存在