theorem :: XPRIMES0:267

not 267 is prime