theorem :: XPRIMES0:814

not 814 is prime