theorem :: XPRIMES0:1695

not 1695 is prime