theorem :: XPRIMES0:1694

not 1694 is prime