theorem :: NUMBER14:88

for k being Nat st 2 <= k holds
card (primeNumbers (k,10)) <= 4