25.1 令 G {\displaystyle G} 为一个群。证明单位元 e ∈ G {\displaystyle e\in G} 是唯一的。同时证明每个元素 x ∈ G {\displaystyle x\in G} 都有唯一的逆元,表示为 x − 1 {\displaystyle x^{-1}} .