theorem :: XPRIMES0:375

not 375 is prime