ab=(b^{-1}a^{-1})^{-1}