theorem :: XPRIMES0:702

not 702 is prime