theorem :: NUMBER19:100

{ n where n is Nat : card (primeNumbers (n,100)) = 25 } = {0,2,3,4,9,10}