代数系统(G,o)若存在单位元素,则一定唯一