theorem :: XPRIMES0:258

not 258 is prime