theorem :: XPRIMES0:274

not 274 is prime