theorem :: XPRIMES0:372

not 372 is prime