theorem :: XPRIMES0:1793

not 1793 is prime