両側単位元の存在