theorem :: XPRIMES0:1779

not 1779 is prime