theorem :: XPRIMES0:265

not 265 is prime