theorem Th76: :: NUMBER19:76

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