theorem :: XPRIMES0:790

not 790 is prime