theorem :: XPRIMES0:1740

not 1740 is prime