theorem :: XPRIMES0:266

not 266 is prime