Verify that the relation, two ordered pairs (a,b) and (c,d) are equivalent if ad=bc, is an equivalence relation on the set S of all ordered pairs (a,b) of integers with b not equal to 0.