theorem :: XPRIMES0:370

not 370 is prime