theorem :: NUMBER12:43

card ((rng ((ArProg (199,210)) | 10)) /\ SetPrimes) = 10