theorem :: XPRIMES0:1679

not 1679 is prime