theorem :: XPRIMES0:1130

not 1130 is prime