theorem :: XPRIMES0:785

not 785 is prime