theorem :: XPRIMES0:1696

not 1696 is prime