theorem :: XPRIMES1:257

257 is prime