theorem :: XPRIMES0:1704

not 1704 is prime