theorem Th79: :: NUMBER19:79

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