theorem :: XPRIMES0:704

not 704 is prime