theorem :: NUMBER14:87

card (primeNumbers (1,10)) = 5