theorem :: XPRIMES0:830

not 830 is prime