theorem :: XPRIMES0:1749

not 1749 is prime