>>556
HaをHa^-1に対応させる写像は右剰余類上の全単射