theorem :: NEWTON02:60

for a, b, k being Nat st a + b = (k * a) + (k * b) & a * b > 0 holds
k = 1