theorem :: XPRIMES0:703

not 703 is prime