theorem :: XPRIMES0:1251

not 1251 is prime