theorem :: XPRIMES0:327

not 327 is prime