theorem :: XPRIMES0:799

not 799 is prime