reserve a,b,c,h for Integer;
reserve k,m,n for Nat;
reserve i,j,z for Integer;
reserve p for Prime;

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