theorem Th96: :: NUMBER19:96

for n being Nat st 11 <= n holds
card (primeNumbers (n,100)) <= 24