theorem :: XPRIMES0:1328

not 1328 is prime