theorem :: XPRIMES0:791

not 791 is prime