동형성 전이와 역원 존재