theorem of dividendo - if a:b=c:d then a-b:b=c-d:d (if m 1:n-2=2p 3:3q 1 then m-n 3:n-2=2p-3q 2:3q 1