theorem :: XPRIMES0:1754

not 1754 is prime