x는 x의 역원이랑 같아야하는데
그래서 x는 항등원 일 수밖에 없지 않나