g-8 verify (a/b c/d) e/f =a/b (c/d e/f) for a/b = -2/3 c/d = 5/7 e/f = -1/6