theorem :: XPRIMES0:930

not 930 is prime