theorem :: XPRIMES0:1344

not 1344 is prime