http://home.p07.itscom.net/strmdrf/basic14.htm
https://math.stackexchange.com/questions/65239/right-identity-and-right-inverse-implies-a-group
正しくないと思っていたら正しかった