theorem :: XPRIMES0:710

not 710 is prime