theorem :: XPRIMES0:1364

not 1364 is prime