theorem Th85: :: NUMBER19:85

( card (primeNumbers (1,100)) = 26 & ( for k being Nat st ( k = 0 or k = 2 or k = 3 or k = 4 or k = 9 or k = 10 ) holds
card (primeNumbers (k,100)) = 25 ) & ( for k being Nat st ( k = 5 or k = 6 or k = 7 or k = 8 ) holds
card (primeNumbers (k,100)) < 25 ) )