theorem :: XPRIMES0:1275

not 1275 is prime