theorem :: NUMBER14:55

for m being positive Nat
for k being Nat ex a, b being positive Nat st
( 2 * k = a - b & a,m are_coprime & b,m are_coprime )