theorem :: XPRIMES0:1360

not 1360 is prime