theorem Th70: :: NUMBER14:70
primeNumbers (1,10) = {2,3,5,7,11}