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