theorem :: XPRIMES0:275

not 275 is prime