群における単位元および逆元の一意性について