theorem :: XPRIMES0:707

not 707 is prime