theorem :: XPRIMES0:255

not 255 is prime