theorem :: NUMBER14:85

for k, m being Nat
for p being Prime st p <= k holds
(multiples p) /\ (seq (k,m)) misses primeNumbers (k,m)