theorem :: XPRIMES1:263

263 is prime