theorem :: XPRIMES0:1369

not 1369 is prime