theorem :: XPRIMES0:1271

not 1271 is prime