theorem :: XPRIMES0:700

not 700 is prime