theorem :: XPRIMES0:1261

not 1261 is prime