theorem :: XPRIMES0:1326

not 1326 is prime