展开 证明方程有唯一解推出存在单位元和逆元