theorem Th78: :: NUMBER19:78

for n, m, k being Nat holds (primeNumbers (n,m)) \/ (primeNumbers ((n + m),k)) = primeNumbers (n,(m + k))