theorem :: XPRIMES0:1320

not 1320 is prime