x^{-1}y=(y^{-1}x)^{-1}=(xy^{-1})^{-1}