theorem :: XPRIMES0:1692

not 1692 is prime