theorem :: XPRIMES0:130

not 130 is prime