theorem :: XPRIMES0:793

not 793 is prime