theorem :: XPRIMES1:251

251 is prime