theorem :: XPRIMES0:1744

not 1744 is prime