theorem :: XPRIMES0:376

not 376 is prime