theorem :: XPRIMES0:1374

not 1374 is prime