theorem :: XPRIMES0:1365

not 1365 is prime