theorem :: XPRIMES0:1366

not 1366 is prime