theorem Th75: :: NUMBER19:75

for n1, m1, n2, m2 being Nat st n1 + m1 <= n2 holds
seq (n1,m1) misses seq (n2,m2)