Testing if multiply inverses divide.