theorem :: XPRIMES0:1379

not 1379 is prime