theorem :: NUMBER14:86

card (primeNumbers (0,10)) = 4 by Th69, CARD_2:59;