theorem :: XPRIMES0:511

not 511 is prime