theorem :: XPRIMES0:326

not 326 is prime