theorem :: XPRIMES0:374

not 374 is prime