theorem :: XPRIMES0:1768

not 1768 is prime