theorem :: XPRIMES0:371

not 371 is prime