theorem Th98: :: NUMBER19:98

for n being Nat st 5 <= n holds
card (primeNumbers (n,21)) <= 7