theorem :: XPRIMES0:1790

not 1790 is prime