Deriving a method for determining inverses