Sorry SoulSearcher, but that was a pretty convoluted explanation. Heres the proof:
Suppose B =/ b, and that a, A, b, B are all integers (they can be rational but we just multiply by the lcm of the denominators to make them integers), then:
a + brtx = A + Brtx
a - A = rtx(B - b)
rtx =...